Pが素数でないmod P